Optimal. Leaf size=358 \[ \frac{(b c-a d)^2 \left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \sqrt{a+b x^n} \sqrt{c+d x^n}}{128 b^2 d^5 n}-\frac{(b c-a d) \left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \left (a+b x^n\right )^{3/2} \sqrt{c+d x^n}}{192 b^2 d^4 n}+\frac{\left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \left (a+b x^n\right )^{5/2} \sqrt{c+d x^n}}{240 b^2 d^3 n}-\frac{(b c-a d)^3 \left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{d} \sqrt{a+b x^n}}{\sqrt{b} \sqrt{c+d x^n}}\right )}{128 b^{5/2} d^{11/2} n}-\frac{3 (a d+3 b c) \left (a+b x^n\right )^{7/2} \sqrt{c+d x^n}}{40 b^2 d^2 n}+\frac{x^n \left (a+b x^n\right )^{7/2} \sqrt{c+d x^n}}{5 b d n} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 1.00002, antiderivative size = 358, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 30, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2 \[ \frac{(b c-a d)^2 \left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \sqrt{a+b x^n} \sqrt{c+d x^n}}{128 b^2 d^5 n}-\frac{(b c-a d) \left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \left (a+b x^n\right )^{3/2} \sqrt{c+d x^n}}{192 b^2 d^4 n}+\frac{\left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \left (a+b x^n\right )^{5/2} \sqrt{c+d x^n}}{240 b^2 d^3 n}-\frac{(b c-a d)^3 \left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{d} \sqrt{a+b x^n}}{\sqrt{b} \sqrt{c+d x^n}}\right )}{128 b^{5/2} d^{11/2} n}-\frac{3 (a d+3 b c) \left (a+b x^n\right )^{7/2} \sqrt{c+d x^n}}{40 b^2 d^2 n}+\frac{x^n \left (a+b x^n\right )^{7/2} \sqrt{c+d x^n}}{5 b d n} \]
Antiderivative was successfully verified.
[In] Int[(x^(-1 + 3*n)*(a + b*x^n)^(5/2))/Sqrt[c + d*x^n],x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 81.248, size = 333, normalized size = 0.93 \[ \frac{x^{n} \left (a + b x^{n}\right )^{\frac{7}{2}} \sqrt{c + d x^{n}}}{5 b d n} - \frac{3 \left (a + b x^{n}\right )^{\frac{7}{2}} \sqrt{c + d x^{n}} \left (a d + 3 b c\right )}{40 b^{2} d^{2} n} + \frac{\left (a + b x^{n}\right )^{\frac{5}{2}} \sqrt{c + d x^{n}} \left (3 a^{2} d^{2} + 14 a b c d + 63 b^{2} c^{2}\right )}{240 b^{2} d^{3} n} + \frac{\left (a + b x^{n}\right )^{\frac{3}{2}} \sqrt{c + d x^{n}} \left (a d - b c\right ) \left (3 a^{2} d^{2} + 14 a b c d + 63 b^{2} c^{2}\right )}{192 b^{2} d^{4} n} + \frac{\sqrt{a + b x^{n}} \sqrt{c + d x^{n}} \left (a d - b c\right )^{2} \left (3 a^{2} d^{2} + 14 a b c d + 63 b^{2} c^{2}\right )}{128 b^{2} d^{5} n} + \frac{\left (a d - b c\right )^{3} \left (3 a^{2} d^{2} + 14 a b c d + 63 b^{2} c^{2}\right ) \operatorname{atanh}{\left (\frac{\sqrt{d} \sqrt{a + b x^{n}}}{\sqrt{b} \sqrt{c + d x^{n}}} \right )}}{128 b^{\frac{5}{2}} d^{\frac{11}{2}} n} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x**(-1+3*n)*(a+b*x**n)**(5/2)/(c+d*x**n)**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.62574, size = 293, normalized size = 0.82 \[ \frac{2 \sqrt{b} \sqrt{d} \sqrt{a+b x^n} \sqrt{c+d x^n} \left (-45 a^4 d^4+30 a^3 b d^3 \left (d x^n-3 c\right )+2 a^2 b^2 d^2 \left (782 c^2-481 c d x^n+372 d^2 x^{2 n}\right )+2 a b^3 d \left (-1155 c^3+749 c^2 d x^n-592 c d^2 x^{2 n}+504 d^3 x^{3 n}\right )+b^4 \left (945 c^4-630 c^3 d x^n+504 c^2 d^2 x^{2 n}-432 c d^3 x^{3 n}+384 d^4 x^{4 n}\right )\right )-15 (b c-a d)^3 \left (3 a^2 d^2+14 a b c d+63 b^2 c^2\right ) \log \left (2 \sqrt{b} \sqrt{d} \sqrt{a+b x^n} \sqrt{c+d x^n}+a d+b c+2 b d x^n\right )}{3840 b^{5/2} d^{11/2} n} \]
Antiderivative was successfully verified.
[In] Integrate[(x^(-1 + 3*n)*(a + b*x^n)^(5/2))/Sqrt[c + d*x^n],x]
[Out]
_______________________________________________________________________________________
Maple [F] time = 0.084, size = 0, normalized size = 0. \[ \int{{x}^{-1+3\,n} \left ( a+b{x}^{n} \right ) ^{{\frac{5}{2}}}{\frac{1}{\sqrt{c+d{x}^{n}}}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x^(-1+3*n)*(a+b*x^n)^(5/2)/(c+d*x^n)^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x^n + a)^(5/2)*x^(3*n - 1)/sqrt(d*x^n + c),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.38369, size = 1, normalized size = 0. \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x^n + a)^(5/2)*x^(3*n - 1)/sqrt(d*x^n + c),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x**(-1+3*n)*(a+b*x**n)**(5/2)/(c+d*x**n)**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (b x^{n} + a\right )}^{\frac{5}{2}} x^{3 \, n - 1}}{\sqrt{d x^{n} + c}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((b*x^n + a)^(5/2)*x^(3*n - 1)/sqrt(d*x^n + c),x, algorithm="giac")
[Out]